|
In Aristotelean logic, ''dictum de omni et nullo'' (Latin: "the maxim of all and none") is the principle that whatever is affirmed or denied of a whole kind K may be affirmed or denied (respectively) of any subkind of K. This principle is fundamental to syllogistic logic in the sense that all valid syllogistic argument forms are reducible to applications of the two constituent principles ''dictum de omni'' and ''dictum de nullo''. ==''Dictum de omni''== ''Dictum de omni'' (sometimes misinterpreted as universal instantiation) is the principle that whatever is universally affirmed of a kind is affirmable as well for any subkind of that kind. Example:
Premise (1) states that "dog" is a subkind of the kind "mammal". Premise (2) is a (universal affirmative) claim about the kind "mammal". Statement (3) concludes that what is true of the kind "mammal" is true of the subkind "dog". 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「dictum de omni et nullo」の詳細全文を読む スポンサード リンク
|